[xilinx]: Minor fix.