[mkl]

I think it was an attempt at a useless use of cat joke (cat isn't needed at all here, but IMHO helps readability).