Fix ugly margin

That made "launch" option look weird