r9307: documentation fixes