small changes to terminator