Properly capitalized HotSpot