Rename module; update specs