Pointless formatting in documenting comments