Another trivial change as per 1.3