Fix #5: period now important in when.follows()