Doc in PMF.close()