Corrected minor bug in docs