syntactic bugfix