Clarify comment on return values of process_result().