HomeIsabelle/Phabricator

misc tuning, following hint by IntelliJ;