S.L.
It seems a little low to me. I think 13 hours is about average for that age, but plus or minus 2 hours is still pretty normal. You could try putting them to bed a little bit earlier and see if there is a change in their demeanor. But despite the recommended amounts if they are both happy and thriving on that amount of sleep then I wouldn't stress about it.