Fix cut-paste error and some formatting.