Patch from Jonas Koelker for the developer docs, fixing a couple of