Minor: warnings removed