Fix #4.
Fix #1.