adding badges to a profile now works (see #11)