Right, i also found it weird but I mimicked the `user_stopped_eip` class property right above.