fix bug discovered lately