Adding dependency on planetmath_og