Fix copypasta

Fixes #6.