fix pseudocode definitions