PPC: remove obsolete comment.