#16: add 'admin_menu'