Cleaning up after moving the annotation checker