Further documentation fixes for #291