Fix bug #233

Fix bug #233