minor changes
Merge branch 'applications' of github.com:mozilla/openbadges-badgekit into applications