Fix #6.