Very minor updates to comments