MiniGhost: more fixes