Fix timespec examples to use correct syntax