Small formatting changes

Monospace for you, Jeff!