Let's specify the type explicitly.