minor details

minor fixes