fixes #3222