fix a problem

see the comments