fixing bug #3