Fixed a brace error, and corrected a printing error.