They wouldn't do it on purpose.. maybe they just forgot to put the timer on for Mikkelsen and made a mistake going out from service..