[michael] Changed a variable name