couple of pedantic changes to CSS