manual.texi A legit type fix... okay, so maybe it's one more trigger check.