Documentation for FGLM changed