Temasek kernel small update