Fix id and pseudocode