Database update 172 fails if prefixes used.

When I ran update.php for a database that has table name prefixes the update created a continuous stream of divide by zero errors at line 1618 of database/updates.inc
With javascript enabled the update bar animation was static throughout the attempt.

The reason is that a couple of the database statements do not have the {} around the table names.