document ctrl-z