Corrects a misunderstanding in fd2079b89fed3ed8cf62e96951ee3f96af1a8acb
which fixes a bug reported by Austin Walker.