fix typo

thanks geraudb for pointing it out!