HomeIsabelle/Phabricator

eliminated odd clone (see Isabelle/caa5a257d3ed);