Minor change in the javascript for image cropping

Modified when certain cropping-related javascript processing is done,
in an attempt to make IE work properly.