Some tweaks to make docs work in subfolder