6071a6c0fba2 ("random: remove useless header comment")