Minor change in output in patchesToStl.