Addresses have a checksum for just that reason. It would be remarkably difficult to acccidentally mistype an address that had happened to have the correct checksum, and also be a valid address.
tl;dr: Neither Ethereum nor Bitcoin have address checksums on the protocol level (remember this HN thread here is about trust) but by now all Bitcoin clients decided to implement it. In this case, the exchange used an Ethereum client which didn't.