Fix a bug with offset HDL generation.