fixes #5198