Fix bug #13