--- edit-page-form.php.orig	2008-04-26 08:40:27.000000000 +0200
+++ edit-page-form.php	2008-04-27 08:53:09.000000000 +0200
@@ -72,7 +72,7 @@
 <p><strong><?php _e('Publish Status') ?></strong></p>
 <p>
 <select name='post_status' tabindex='4'>
-<?php if ( current_user_can('publish_pages') ) : ?>
+<?php if ( current_user_can('publish_pages') || ( current_user_can('edit_published_pages') && 'publish' == $post->post_status ) ) : ?>
 <option<?php selected( $post->post_status, 'publish' ); selected( $post->post_status, 'private' );?> value='publish'><?php _e('Published') ?></option>
 <?php else: ?>
 <option<?php selected( $post->post_status, 'private' ); ?> value='private'><?php _e('Published') ?></option>