Issue #1: version printing improved (added missing printf parameter)