Fix coding style in perpetual_recoding_symbol_id.hpp