This avoids e.g. the keyboard overlapping the terminal in setups that can actually happen. Closes #88.