Bad copypasting! Fixes #8