Handle stupid theta in generated instances