Make @Adaptivity happy