Fixing bug: Headers::erase() now erases all instances of given header