Add build documentation and fix a broken header.