Cleaned up header files and documentation slightly.