fixes #5076