HomeIsabelle/Phabricator

Fix work-around when it's not needed.