Corrected minor bugs in docs