Minor error in def of dense subset of \PP and fixed a weird exclamation mark