Committing change in code for real this time.

For some reason, GitHub didn't submit my changes to the code the first
time around.