Problem with SerialUSB.write on the Due

Could someone let me know where the Arduino bug list is so that this issue (SerialUSB.write on Due) can be collected into the next revision?

Also, in CDC.cpp there are a number of locations in which SERIAL_BUFFER_SIZE should be replaced by CDC_SERIAL_BUFFER_SIZE.

Thanks in advance.