fixes #5308