Is this remark actually needed in the code?