fixes #5600