Fixed wrong type annotation for alpha