Deadlines and scheduling: Fix order in DEADLINE example