Polished QR discussion for GMRES