fix #9: convert short ISBN to long automatically