Disambiguate type due to RFC 438