synchronization on this getter is no longer necessary. Unlikely to affect issue #60.