revise explanation of the US Code again (see 0eea47ae1f48d4d15094b6d1dc2b5920bef56e11)