fixes #3142