fixes #3728