Fix to 6dc466bc: also consistent titles on executable page.
Reduce line lengths in executable.php and remove unnecessary
'global $DB'.