- always print a header with the path to the file being displayed - always evaluate the linespec argument, even if a scope prefix is present Fixes #711, #713