Fixes #3208