Little tweaks needed for grepp-server