Updating the documentation at the head of the module