small syntax error from a previous merge