Fix #836