make sure short versions are recognized properly, fix #1706