Do not provide an options menu. Fixes #9