GUAC-613: Fix header annotation in Doxygen comment in pool-types.h (wrong filename).