Small bug in setup configuration