fix #3596 (minor)