This closes #3241