ADD: type error detection in finish()