Tidy the type in badInstSigErr (fixes Trac #7545)