fix from Antonio Ospite was applied to remove remnants of DoubleCheckedLocking #sf705