update Spec to match Implementation

PATCH is also more apropriate, because we only change (and specify) the
comment, nothing else...