Small mod to less.php