HomeIsabelle/Phabricator

clarified signature, according to Isabelle/9d9e7ed01dbb;