correcting module name
adding infinity