fixes another minor documentation syntax bug