minor err noted by @loicrouchon