TinyMCE overrides '#resizable' => FALSE on textareas which don't use TinyMCE

I am confused as to why the following lines of code (220-222) exist in tinymce.module:

  else {
      $element['#resizable'] = TRUE;
  } 

This has the effect of adding the resizable feature to textareas which do not use tinymce and which have their "resizable" property set to FALSE.

A simple fix, as far as I am aware, would be to remove these lines.