Proper extension annotation