Fix #773