fixes #5693