A shorter version.