fix one-line bug introduced by prior commit