Corrected a bug in the stateful specification parser (now state names beginning with majuscules are handled well).