Fixed syntax error in setup.pt