fix screwup in previous commit