I can file an issue on github, i was just making sure that i am not overlooking something very basic.