Fix small inconsistency between code and text