Fix warning in MicroLock initialization