#582: missed include