[bugfix] remove some typos and derive correctly