Minor printing syntax fix