fixed more bugs in the documentation