Minor details.

Small corrections