Actually add RFC 532