fix, minor changes in headers and documentation