Fix bug introduced 2 commits ago for names of snapshot folders (unwrap the Ok values from get_next_snapshot_num in snapshot())