another small fix. s/hadleyverse/Hadleyverse