Simple changes to a few sphinx files so that source files are recognized