Minor comment change in desc of chtofr, bugfix in output of scan

scan was outputting wrong gpstime; this is fixed.

Also add comments about nondeterministic algorithm in chtofr