Fix #140.