corrected minor bug in docs