Very minor style changes/bugfixes

This fixes some very slight style bugs/glitches I've noticed.