fix a synchronization problem reported in a comment in issue #8