A minor change of the stupid padding in robotlib.c in the last commit

I have no idea where it came from