fixing minor issues causing project to synthesize incorrectly