oops: Fix incorrectly placed header line

Fixes #1144