Minor printing fix