Various modifications

Changed status strings to symbols, formatted code and fixed a bug
relating to a tie.