fixed some very minor details