fix the inconsistency described in #2763
this was a leftover from an older AST representation