fix some weird error I do not understand