fix tiny syntax error