Fix a copy/paste mistake from issue #5