This is a fix for the excellent Miniposts plugin by Morgan Doocy. There’s a miniposts2 variant that includes this fix as well, but since I don’t use widgets yet (or maybe will never) here’s the fix. Took me around a half hour of hacking. Thanks to this excellent guide. [The problem was every time somebody commented I lost the ‘mini-postiness’ of the post. Kinda nasty.]

mini-postsphp.txt and just the diff.