Minor tweaks to ispconfig