TrampolineCache: fix whitespace