This closes #4077