Minor mistakes cleaned up