K 10 svn:author V 8 jhibbits K 8 svn:date V 27 2015-04-06T16:29:45.986824Z K 7 svn:log V 61 Fix the index for FAULTBUF_R13, missed during merge/cleanup. END