Fixing small (in code) bug that was messing up PAT's save as.

[#565]