fixes #3554