gletters, fix Options layout

Authored by timotheegiet on Feb 29 2020, 6:58 PM.