Serial communication and size of the serial buffer

Hi,

I have a question about the size of the serial buffer. This [1] site states that the size of the serial buffer is 128 bytes while [2] states that the size is 64 Byes. What is the correct? Thanks in advance!

Regards,
Michael

[1] Serial.available() - Arduino Reference
[2] http://www.arduino.cc/en/Reference/SoftwareSerial

I've got it. Sorry for the stupid question.