Commit 24c277e407fd328171602e397f48cbd76e135120 Parent 54c40bbc4bd09bce30ff6a45e9a9fcb08073a3c1 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 10 Jan 2015 10:23:55 -0800 Removed unnec. comment.