Merge pseudocode fixes and Definition correction