Remove comment about bad cast; all is fine