fix a silly error