Fixed a minor issue on crashed contracts