Indeed, although fortunately that didn't impact operation :)