minor formatting changes and use of VertxAssert method