diff --git a/.bintray_descriptor.json b/.bintray_descriptor.json
index 03c3d01fb..bc023f3bf 100644
--- a/.bintray_descriptor.json
+++ b/.bintray_descriptor.json
@@ -13,7 +13,7 @@
     },
 
     "version": {
-        "name": "0.2.3",
+        "name": "0.2.4",
         "desc": "HermitCore's kernel as libOS",
         "gpgSign": false
     },
diff --git a/CMakeLists.txt b/CMakeLists.txt
index cc47105a6..178e44361 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -199,7 +199,7 @@ set(CPACK_SYSTEM_NAME all)
 
 set(CPACK_PACKAGE_VERSION_MAJOR 0)
 set(CPACK_PACKAGE_VERSION_MINOR 2)
-set(CPACK_PACKAGE_VERSION_PATCH 3)
+set(CPACK_PACKAGE_VERSION_PATCH 4)
 
 set(CPACK_PACKAGE_CONTACT "Stefan Lankes <slankes@eonerc.rwth-aachen.de>")
 
diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c
index f381daf46..c673e76d4 100644
--- a/arch/x86/mm/page.c
+++ b/arch/x86/mm/page.c
@@ -96,7 +96,7 @@ static uint8_t expect_zeroed_pages = 0;
 size_t virt_to_phys(size_t addr)
 {
 	if ((addr > (size_t) &kernel_start) &&
-	    (addr <= PAGE_2M_FLOOR((size_t) &kernel_start + image_size)))
+	    (addr <= PAGE_2M_CEIL((size_t) &kernel_start + image_size)))
 	{
 		size_t vpn   = addr >> (PAGE_2M_BITS);	// virtual page number
 		size_t entry = self[1][vpn];		// page table entry
diff --git a/cmake/local-cmake.sh b/cmake/local-cmake.sh
index 4dee60c2f..949f4f793 100644
--- a/cmake/local-cmake.sh
+++ b/cmake/local-cmake.sh
@@ -63,7 +63,7 @@ then
 	fi
 
 	echo "-- Local CMake v${MAJOR}.${MINOR} installed to ${CMAKE_DIR_REL}"
-	echo "-- Next time you source this script, no download will be neccessary"
+	echo "-- Next time you source this script, no download will be necessary"
 fi
 
 export PATH="${CMAKE_DIR}/bin:${PATH}"
diff --git a/include/hermit/semaphore.h b/include/hermit/semaphore.h
index 9a731ad3b..5cd2708c9 100644
--- a/include/hermit/semaphore.h
+++ b/include/hermit/semaphore.h
@@ -56,14 +56,15 @@ extern "C" {
  * - 0 on success
  * - -EINVAL on invalid argument
  */
-inline static int sem_init(sem_t* s, unsigned int v) {
+inline static int sem_init(sem_t* s, unsigned int v)
+{
 	unsigned int i;
 
 	if (BUILTIN_EXPECT(!s, 0))
 		return -EINVAL;
 
 	s->value = v;
-	s->pos = 0;
+	s->rpos = s->wpos = 0;
 	for(i=0; i<MAX_TASKS; i++)
 		s->queue[i] = MAX_TASKS;
 	spinlock_irqsave_init(&s->lock);
@@ -76,7 +77,8 @@ inline static int sem_init(sem_t* s, unsigned int v) {
  * - 0 on success
  * - -EINVAL on invalid argument
  */
-inline static int sem_destroy(sem_t* s) {
+inline static int sem_destroy(sem_t* s)
+{
 	if (BUILTIN_EXPECT(!s, 0))
 		return -EINVAL;
 
@@ -94,7 +96,8 @@ inline static int sem_destroy(sem_t* s) {
  * - -EINVAL on invalid argument
  * - -ECANCELED on failure (You still have to wait)
  */
-inline static int sem_trywait(sem_t* s) {
+inline static int sem_trywait(sem_t* s)
+{
 	int ret = -ECANCELED;
 
 	if (BUILTIN_EXPECT(!s, 0))
@@ -114,12 +117,13 @@ inline static int sem_trywait(sem_t* s) {
  *
  * @param s Address of the according sem_t structure
  * @param ms Timeout in milliseconds
- * @return 
+ * @return
  * - 0 on success
  * - -EINVAL on invalid argument
  * - -ETIME on timer expired
  */
-inline static int sem_wait(sem_t* s, uint32_t ms) {
+inline static int sem_wait(sem_t* s, uint32_t ms)
+{
 	task_t* curr_task = per_core(current_task);
 
 	if (BUILTIN_EXPECT(!s, 0))
@@ -132,8 +136,8 @@ next_try1:
 			s->value--;
 			spinlock_irqsave_unlock(&s->lock);
 		} else {
-			s->queue[s->pos] = curr_task->id;
-			s->pos = (s->pos + 1) % MAX_TASKS;
+			s->queue[s->wpos] = curr_task->id;
+			s->wpos = (s->wpos + 1) % MAX_TASKS;
 			block_current_task();
 			spinlock_irqsave_unlock(&s->lock);
 			reschedule();
@@ -157,8 +161,8 @@ next_try2:
 					spinlock_irqsave_unlock(&s->lock);
 					goto timeout;
 				}
-				s->queue[s->pos] = curr_task->id;
-				s->pos = (s->pos + 1) % MAX_TASKS;
+				s->queue[s->wpos] = curr_task->id;
+				s->wpos = (s->wpos + 1) % MAX_TASKS;
 				set_timer(deadline);
 				spinlock_irqsave_unlock(&s->lock);
 				reschedule();
@@ -181,28 +185,23 @@ timeout:
 	return 0;
 }
 
-/** @brief Give back resource 
+/** @brief Give back resource
  * @return
  * - 0 on success
  * - -EINVAL on invalid argument
  */
-inline static int sem_post(sem_t* s) {
-	unsigned int k, i;
-
+inline static int sem_post(sem_t* s)
+{
 	if (BUILTIN_EXPECT(!s, 0))
 		return -EINVAL;
 
 	spinlock_irqsave_lock(&s->lock);
 
 	s->value++;
-	i = s->pos;
-	for(k=0; k<MAX_TASKS; k++) {
-		if (s->queue[i] < MAX_TASKS) {
-			wakeup_task(s->queue[i]);
-			s->queue[i] = MAX_TASKS;
-			break;
-		}
-		i = (i + 1) % MAX_TASKS;
+	if (s->queue[s->rpos] < MAX_TASKS) {
+		wakeup_task(s->queue[s->rpos]);
+		s->queue[s->rpos] = MAX_TASKS;
+		s->rpos = (s->rpos + 1) % MAX_TASKS;
 	}
 
 	spinlock_irqsave_unlock(&s->lock);
diff --git a/include/hermit/semaphore_types.h b/include/hermit/semaphore_types.h
index 0a511493c..b97e6694f 100644
--- a/include/hermit/semaphore_types.h
+++ b/include/hermit/semaphore_types.h
@@ -46,8 +46,10 @@ typedef struct sem {
 	unsigned int value;
 	/// Queue of waiting tasks
 	tid_t queue[MAX_TASKS];
-	/// Position in queue
-	unsigned int pos;
+	/// Position in queue to add a task
+	unsigned int wpos;
+	/// Position in queue to get a task
+	unsigned int rpos;
 	/// Access lock
 	spinlock_irqsave_t lock;
 } sem_t;