Syntactic bugfix