This is the preferred style nowadays, and more consistent with the
rest of the code.