tiny style tweak
Oh CSS...