As a user that is listed in "Administrators" on a Space Tools page, I select the "Space Tools" button in the lower left corner. The options presented are only "Overview", "Content Tools", and "Reorder pages". No "Permissions" option appears.
The user was added as an administrator within the past hour.
What do I need to do to get access to the space permissions?