Fixes

Fixed a bug and a formatting mistake.