Fixed a bug in tests.
Fixed formatting.