small fixes around the location of wolframed