Typo and code annotations in VIPER article