bug in comparing equality of modules fixed