bug fix: corner-case synchronization problem