Corrigendum: Scheduling Multiprocessor Tasks on Three Dedicated Processors