Fix bug in Pretty (Maybe a) instance.