Same comment as for the preamble.