Added PRINT-OBJECT method for widget class and a small bug fix