HomeIsabelle/Phabricator

clarified messages: avoid duplicate Timing;