this should not return anything (the old code is a mistake I think)