Just some minor fixes in the workstation manifest