For PR876: