Small style fixes to recover deleted comments