Fix typo, add strictures