logout fails

Logout fails because of bug in sess_destroy() that causes the generation of an incorrect query:
db_query("DELETE FROM {sessions} WHERE sid = '%d'", $key);
should be:
db_query("DELETE FROM {sessions} WHERE sid = '%s'", $key);