fixes #4367