Minor edits of RHF