Fix error in last commit for #151.