This avoids needless extra indentation in `write_function` in the case where no SourceLoc information is available.