Changing the code snippet to have a real dart annotation