Small fix in safe_add.