Fix bug that argument is processed twice with concatenated short options