Ajax: minor improvement