fixing an error I found in my comments