Fix bug #144.