Fixed some errors in ModelKraken and ModelMermaid