Fixes a speeling mistake in the binary headers' extension