Thanks for your reply.

I've already stopped and started the server, then tried again, and it's made no difference.

The command:

DBCC CHECKDB (model ) WITH NO_INFOMSGS, ALL_ERRORMSGS

just produces:

Command(s) completed successfully.

I'm now running it on my database (and not model).