Fix bug #24.