Fix bug #853