fix a round declaration for vampire