Confused about Pin current, could anyone shed some light?

Here, https://www.arduino.cc/en/Main/ArduinoBoard101

it states,

"All pins operate at 3.3 volts. Each pin can source or sink a maximum of 20 mA."

and it also states,

"DC Current per I/O Pin 4 mA"

Which is correct? or am I wrong, I'm not sure I understand.

Fixed, 20mA is right Thank for reporting!