fix the 0-case in --allow-failed