fixes #4290