Deleting a page and then immediately create-protecting it caused a PHP Fatal error