The usage of the full tag here was intentional (see comment above).