Adapted to current syntax