some styling tweaks; fix #274