bit of typo

shortening the title