fix mistake caught by @tsantero