Correct headers_module; fixes #3