[michael] Fixed a syntax issue