fixes for errors found by synthesis tools