minor improvements in frontend