Clean up a crufty comment, whoops