Do we need to do something with these options?