Got rid of a type safety warning.