Menu tweaks

Fixes #8