Minor tweaks to running-from-source page