Fix #735