サーバーの最近の修正

小規模なサーバー修正が引き続き行われており、今回はプロフェッサー・プトリサイドとの遭遇に関するいくつかの問題を修正します。