undoing my last change -- not related to issue (if there is one)

#6652