Reviewed by Marc Eshel, bump of version