fix namespace issue caused by Github's complaining