I'm used to defensive programming. But of course we could omit that one here if this doesn't match the coding style.