Style enhancements

Typo introduced by text editor shortcuts, I am guessing.