Fix bug #82
Fix bug #82