Minor fixes regarding title