minor tweaks on the snorql interface