[Fix #3] Support multiple names for options