A bug well fixed, thanks to helios