Fix triggerhappy file.