modify header buttons; fixes #3; fixes #10;