Fix page name. Fixes #2813