fixes #5307