Fix for small lint problem