fix a silly possible warning