Fixed menu bug in Ubuntu.