Fix source display in section.php to be less smelly.