Fix #139.