Removing redundant ;