GitHub #72: Default phase for goal "report" should be "verify"