Small note for the pedants.