Well, okay, that's not really related but just a small fix with no side effects (accept making wsn430-v1_3b radio driver compiling).