Corrected bug mentioned by zini.