made a small fix