Fix synthesis issue