Fix Bug 23: long standing silly synchronization bug