Fix irrelevant type-problems with Option widgets