hopefully with very silly top-line-as-comment error fixed

SORRY!