Why option here and in other decls?