dot termination done right (fix bug from last commit)