Pseudocode Changes

Various pseudocode changes.