Fix #testaborton failure