include some more packages in preamble (cleverref, flafter)