What an embarassing typo, why did we disallow editing of comments again?