yes this is just a typo