fix a setup issue