got rid of spurious prints