Further Menu State extensions