fixes #6343 make sure is_current_revision is set correctly