minor UI mod, OS X bug fix