Trivial changes
(#552)