Fix bug in abicheck