Actually fix negating