Update comments, give option numbers in decimal.