Documentation, minor fixes