fixes #4528