fix BibTeX's capitalisation in WTe2