Fixed an RFC example.