Relaxed a test; fixed some formatting.