Fix #844