For contributors

Final tweak that was supposed to be on #1135 but I forgot to push here (I had pushed to qa).