%div redundant