fix #1665 (minor)