fix #2135

This fixes issue #2135