Commit from 2013_12_12 Irony

No commit history..