Fix bug in 6-1