Fixes bug #13.