Fixes #1, Fixes #3: Discard any repeated timestamps.