Fix bug 595: typo