Fix #4.