fixes #5355