Fixed a bug in update_article() regarding storage of save_time.