OK, I've fixed both of these ISBN issues and pushed them to production. So both 014242417X and 978-0142424179, and similar ISBNs, should be no problem.