Got rid of a double angle bracket