Code comment fixes for #117.