minor documentation fixing