type fix from Fabien Allanic in #4.