Fixes bug in PrettyPrinter when printing stores