tweaking sphinx configuration