small fix to mayLocks.ml