Minor fixes in the run() and setMessage() methods