HomeIsabelle/Phabricator

clarified signature, following Isabelle/f362975e8ba1;