[TUHS] RFC formatting