fix weird typo I introduced ages ago