Platform: minor cleanup.