fixed bug while trying to do fancy gui printing...