Fix of errorString clearing in error() and documentation fixes for DeviceInfo (gps).