bugfix: missed a comment