Minor cleanup of pseudocode.