Fix typo

Fix typo made when editing online...