Thanks for the fix, it seems to make sense. I have been investigating another bug with sequence(), there may be more work to do around here but you're welcome to commit your change. It would only be better if you didn't take the opportunity to change the coding style... I guess I'll just to switch it back to my style if I end up changing something :(