fix last commit

That was awful. Sorry.