Fix #42.