rename header file
documentation tweaks