Fixing a mobile bug and making the terminal slightly smaller.