Merge pull request #499 from danvk/synchronizer