Fix weird syntactic construction