remove unneeded )defstyle from c14c177