Fix #758.