Small problems with documentation fixed