Update synchrony specs