Correct module comment
Use hasSlicing