fixes #3544