Fix #767