Fix #939