got rid of data race in consensus/, corrected manager.Less()