Change resolution with terminal (Ubuntu 16.04 and Thinkpad x230)

Getting nostalgia and suddenly would like to play a round of old StarCraft. I have upgraded to 16.04 since last year and couldn’t set resolution to 640×480 from Displays setting. But simply using xrandr -s actually works:

xrandr -s 640x480

I can then recalibrate the stylus with the usual Wacom Tablet setting.  🙂