a slightly less ugly exit button, I guess?