Fix a typo in taskqueue.h