Fix a silly data size mismatch. Issue #7