Fix 1144388

Addresses https://bugs.launchpad.net/openquake/+bug/1144388