NOBUG: Improve display of errors coming from the branch checker.