In docs, minor bugs fixed.