Housekeeping and fixing a stupid css mistake