fixed a typo I introduced