Formally adds @hannesgassert as a member.