Jonathan Lai

This specific bug is fixed, but in the more general case, things done with script may not be able to be generated by the script generator. So far the things...