Enter key now adds Tex by default.