trivial: minor fix. maybe?