Correction to core reservation logic