Add a couple of corrections to abolish