Is not required, however occurs in several places in the code :)