<a href="https://www.ibm.com" rel="nofollow">https://www.ibm.com</a> seems to work OK. As long as they're not using <a href="https://ibm.com" rel="nofollow">https://ibm.com</a> for anything, I guess that's not such a big deal.<p>Of course it makes sense to fix it though.