fix another regression introduced by new theta syntax