One more bug of the type fixed.