Minor naming fix and css tweak