Make the 'implements' declaration consistent in the new modules