Fix #250.