Fix bug#4274 index_div was being added twice

Signed-off-by: Atul Pratap Singh <atulpratapsingh05@gmail.com>