Fixes in the RINEX printer