fixes button synthesis error