Fix #7.