Add #834 to History

This was probably fixed by #875