Minor fixes in the DOS