This case is published under its correct court at District of Columbia v. Armes, 107 U.S. 519 (1883), decided May 18, 1883.