Added abort instruction, minor code reformatting.