Fix printing of initial state