minor UI tweaks from 2013.10.15 meeting