additional constructor for InternalException