Fixing some minor errors