small fix #1

Merged
merged 1 commit into from May 3, 2011

2 participants

@zhangcheng

The diff says it all :)

@dsc dsc merged commit 39b7ce5 into dsc:master May 3, 2011
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment