Fix bug #309