add missing printf parameter to locking debug statement