Revise #13.1