Not that it matters for the output, but we should keep the coding style consistent.