Minor change of type