minor correction in docs