mention franck's last bugfix