Minor changes; checking the envido winner implemented