Issue #140: final ident