Version 0.0.4: fixed a bug in codec