* a minor javascript improvement for flushing storage.