This version was submitted for checking.