css tweak, fixes #1