Fixes in the RFC.