Fix pre-condition in coord2StringPair()