Merge #701: Undefined variable in sync.js