doc/{runtime,structures}.tex: Fix careless transfer from the manpages.