'execute procedure' documentation improvements