minor change to pseudocode