Fixing mistakes in headers for C interface to QR factorization