[Typer] [Git][monnier/typer][report/els-2017] 6 commits: Avoids goals list being alone on top right corner