Not strictly necessary here, so I'd rather remove it.