small modification to be consistent in clock and reset naming