Fix double printing of models in ConsoleShell.

Fixes #3952