minor fix, possibly unnecessary