Suppress an error
Drop unused menuseparator
Style improvements
Minor fix