Add missing header to CMakeLists, remove stale comment