Very minor syntax fix