Bug fix in inits() and tails() methods.