Fix pseudocode