Small changes to RFC 1123