WaitfreeQueue: Cosmetics.

Signed-off-by: Michael Lippautz <michael.lippautz@gmail.com>