WICKET-5385 now well-formed