HomeIsabelle/Phabricator

Slight tidying to shorten too-long lines