Fix #751.