For PR741: