small fixes in configure.js