oops - less "bug" in SoCraTes