Update rfc5234.py