fixing some minor mistakes