CMOSD-237: corrected a minor bug I introduced