Use explicit type to silence gcc warning