Minor bug fix in Robertson's algorithm