typo

Small nitpick, is this a typo?