small tweaks in frontend and examples