fixing bug #2