Remove FIXME referring to a closed issue (#3654)

Issue #3654 had already been fixed and closed, but the FIXME comment has
not been removed. This commit removes the FIXME comment.