For PR761: