Fix #157.