#116 unnecessary synch block deleted