BUG: the admin Install menu produced an error.