Fix #85.