Minor tweak in EnqueueElement.m