Even more release docs

Right now it's just a small fix for an issue that I noticed reading Princeton's testing notes tonight.