Minor corrections in debug messages