add comments to WFLock code