Hi, everyone.  Small fix attached -- it just makes a warning go 
away.

Best regards,
-Karl