#case-classes typos fixed. (applied patch from Stefan-Wagner )