Fix double-include