Convert #BADDEF to Flügger