Made a little cosmetic change :)