Tiny fixes in Linearizer.