correct a last minute error I made in the previous commit