K 10 svn:author V 3 alc K 8 svn:date V 27 2012-08-15T22:12:01.919518Z K 7 svn:log V 46 Correct a KASSERT message. Submitted by: bde END