Remove gratuitous type annotation per Brian's feedback