Fix #71.