fixes #3675