HomeIsabelle/Phabricator

tuned signature, following hints by IntelliJ IDEA;