Fix derivation comment