Fix postbit bug; updated comment