this fails our internal typechecker. making it lowercase makes it succeed. can you make this change?