small fix that I had forgotten