[tor-commits] [spec/master] Fix the name of Alejandro in the spec