HomeIsabelle/Phabricator

clarified message, following Isabelle/a7aabdf889b7;