fix a warning