fixed #18, OPTION = named integer lists