fixes #4197