'button' versus 'buttons'

I suspect this is a bug:

I got error "Undefined index: button in .... /sites/all/modules/tinymce/tinymce.module on line 444."

I found that line 444 did indeed refer to $metadata[$name]['button'], $plugin[$k]);

whereas elsewhere in the code the index was 'buttons'

Easy to fix ...