fixing a print bug, updating core