Disallow top level cases with no arguments. Fixes #532