Fix 3

This would be much easier if I had the github metadata locally…