small fix that I forgot to push