fix bug in wcet