Removed an erroneous addition to the filename extension in the case of a
uniform prior.