Re #6191. Fix my silly error.