fix pointless type warning