fixes some documentation. Fixes missing copyright header.