fixes #5479;