Minor tweaks to Debugger.Source spec.