Fix #839