fix #1599 (minor)