fixed a left-out inclusion due to commenting