Fix bug with MUTABLE_SV definition