module globals: TODO corrections