Fix code-listing