fixing some compile-time issues in the docs due to the PLaneT2 transition