On formality of some symplectic manifolds