fix a silly mistake