PR#3576: