Fix #3.