#3333: Rename module