fix tiny glitch from previous commit