Minor changes to computing compactness