Fixing the veraModule