Added a few synhrnoization statements