Got rid of a silly warning