Fix issue discovered by Stéphane

This is a silly one :)
Bump version number