Minor developer documentation fix.