That is correct, some filenames may be classified as device names by the Windows system you are using. If so, mIRC checks that and prevents you from writing to those device names to prevent system errors, freezes, etc.