Sometimes pools have a mind of their own of what ph levels they want to be. 7.2 will be fine.