Fixes bug #1.