HomeIsabelle/Phabricator

clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);