Fix #37.