Minor fixes

same here.