Fix documentation for mutable classes

The immutable header should always be imported instead.