Make minor pseudocode changes