Subgoal fixes

camelCase