corrected a silly error that no one needs to know about