Bug fixed by Hugo.