Small fix in setup