Fix bug in prettyBoard