K 10 svn:author V 4 rene K 8 svn:date V 27 2013-05-13T08:48:09.087873Z K 7 svn:log V 77 Fix a mistake in the previous commit. Approved by: remko (mentor, implicit) END