corrections for vivado