fix a bug introduced in 53c6642