another minor style tweak (darker on lighter)