Added SpaceDecl.h include