fixes issue #1888;