Bug fix in LeapManager