Removed declarations of workspaces 7 and 8 in headers.