Fix gluing of options