Version 1.0.0 is released, do not use @dev anymore