fixes #5101