Added some `renewcommand` declarations