Fixed an error jpf found. Apparently we were adding the start state
twice.