fixes #4423