fixes after synthesis

Signed-off-by: Marek Czerski <ma.czerski@gmail.com>