Update 7200 error when taxonomy module disabled

Hi, I just received the following error after upgrading to 7.x.-2.4:

An AJAX HTTP error occurred. HTTP Result Code: 200 Debugging information follows. Path: http://localhost/update.php?id=59&op=do StatusText: OK ResponseText: ( ! ) Fatal error: Call to undefined function taxonomy_get_vocabularies() in ...\sites\all\modules\page_title\page_title.install on line 70 Call Stack #TimeMemoryFunctionLocation 10.0009845992{main}( )..\update.php:0 20.556730929600_batch_page( )..\update.php:451 30.557030936712_batch_do( )..\batch.inc:80 40.557030936712_batch_process( )..\batch.inc:161 50.558331059032call_user_func_array ( )..\batch.inc:284 60.558331059080update_do_one( )..\batch.inc:0 70.558331059584page_title_update_7200( )..\update.inc:937 

I guess the taxonomy module being disabled is causing this, so maybe something like

if (module_exists('taxonomy')) {
  // do updates ...
}

in page_title.install could fix it?

Thanks & cheers!