HomeIsabelle/Phabricator

small adjustments for new implementation