Bug in stripping sequence values of trailing .0 fixed, comment added