make the value of an option optional (found by lubek)